Verification system development a dosimetric tridimensional using Solution Fricke...

Proposal of a transdisciplinary method of research and its application in tabacology,...

not available

Sweat test for the diagnosis of cystic fibrosis: comparison between the classic and...

Evaluation of dynamic hyperinflation in patients with lymphangioleiomyomatosis with...

VIDAese: visual exploratory process to support empirical studies in software verification,...

An integrated environment for verification and test of fault-tolerant components...

Formal mutation testing in Circus process algebra

The outsourcing of foreign language teaching in formal education schools

Non-formal education in the teaching and diffusion of Astronomy: actions and roles...